1. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
پدیدآورنده : sponsored by ACM SIGPLAN & ACM SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Debugging in computer science
رده :
QA
76
.
9
.
D43A23
2005
2. Accelerator programming using Directives :
پدیدآورنده : Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
رده :
QA76
.
751
3. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
4. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده : F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
5. Advanced lectures on software engineering
پدیدآورنده : / Peter Meuller (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
A38
2010
6. Advanced lectures on software engineering. LASER summer school 20072008
پدیدآورنده : Peter Muller )ed.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software enginnering Congresses,، Software Engineering.swd,، Programmverifikation.swd,، Nebenloufigkeit.swd
رده :
QA
76
.
758
.
A368
2010
7. Advanced programming environments : Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986
پدیدآورنده : edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
244
8. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
9. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
10. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
11. Advances in software engineering techniques
پدیدآورنده : Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I35
2009eb
12. Advances in sport science and computer science
پدیدآورنده : editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
13. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
14. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
15. Analytical and stochastic modeling techniques and applications
پدیدآورنده : Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Stochastic processes, Congresses
رده :
QA274
.
A1
I58
2012eb
16. Applications of computing and communication technologies :
پدیدآورنده : Ganesh Chandra Deka, Omprakash Kaiwartya, Pooja Vashisth, Priyanka Rathee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Artificial Intelligence.,Computer Appl. in Social and Behavioral Sciences.,Computer Communication Networks.,Information Systems Applications (incl. Internet).,Software Engineering/Programming and Operating Systems.,System Performance and Evaluation.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Society & social sciences.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
17. Applied computer sciences in engineering :
پدیدآورنده : edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Engineering-- Data processing, Congresses.,Artificial Intelligence.,Computer Engineering.,Computers and Education.,Software Engineering/Programming and Operating Systems.,Computer science.,Computer science.,Computers-- Computer Engineering.,Computers-- Computer Science.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Engineering-- Data processing.,Program concepts-- learning to program.,Software Engineering.
رده :
QA75
.
5
18. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
19. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010